focal length of a convex len